" Gerard (FRW) / Paulin-Mohring" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Interactive Theorem Proving and Program Development

Автор: Yves / CastTran, Автор: Pierre / Huet, Автор: Gerard (FRW) / Paulin-Mohring, Автор: Christine (FRW) Bertot

Категория: AI, knowledge

Размер книги: 3.17 Mb